Formal Methods – Bücher, LPs, CDs und mehr

Carroll Morgan
Formal Methods, Informally

Learn to program more effectively, faster, with better results... and enjoy both the learning experience and the benefits it ultimately brings. While this undergraduate-level textbook is motivated by form…

lieferbar innerhalb 2-3 Wochen

Buch

Carroll Morgan
Formal Methods, Informally

Learn to program more effectively, faster, with better results... and enjoy both the learning experience and the benefits it ultimately brings. While this undergraduate-level textbook is motivated by form…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods in Architecture

This book comprises the select proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), held in Porto, Portugal, in December 2024. The contents focus on the use of methodol…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3--5, 2025.The 12 full pa…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27--28, 2025. The 13 full p…

sofort lieferbar

Buch

Concurrent Programming, Open Systems and Formal Methods

This Festschrift is dedicated to Gul Agha in recognition of his outstanding research and teaching impact. Gul Agha received his undergraduate degree at Caltech in 1977 and his A.M., M.S. and Ph.D. degrees…

lieferbar innerhalb 2-3 Wochen

Buch

Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui
Formal Methods for the Analysis of Biomedical Ontologies

This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies. The authors take a pragmatic approach focused on generating…

lieferbar innerhalb 2-3 Wochen

Buch

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in …

lieferbar innerhalb 2-3 Wochen

Buch

Konstantin Meinders
Die Anti Arthrose Formel: Mit bewährten Methoden die Knorpelregeneration aktivieren und Gelenkschmerzen effektiv lindern für mehr Lebensqualität - inkl. Rezepten, Ernährungskompass, Übungen uvm.

Arthrose-Formel: Mit zahlreichen Strategien, Maßnahmen und Anwendungen der Volkskrankheit Arthrose vorbeugen und zu Vitalität & Wohlbefinden zurückfindenMachen Ihnen die ersten Anzeichen einer Arthros…

sofort lieferbar

Buch

Winfried Keuthage
Abnehmen mit der HAWEI-Methode

GU Ernährungsmedizin, GU Einzeltitel Gesunde Ernährung

Die Erfolgsformel zum Abnehmen: Hafer und EiweißDas Dream-Team aus Hafer und Eiweiß spielt die Hauptrolle in der einzigartigen HAWEI-Methode. Deshalb auch >>HAWEI<<: HAFER und EIWEISS. Entwick…

sofort lieferbar

Buch

Coil

A Thousand Lights In A Darkened Room (Reissue)

Coil präsentiert »A Thousand Lights In A Darkened Room«. Während der Übergangszeit, in der die Hauptverantwortlichen von Coil (Peter »Sleazy« Christopherson und John Balance) ihre kreative Richtung neu or…

lieferbar innerhalb von 3 Tagen

2 LPs

Lena Sachse
Formale Unterqualifikation in der Pflege

Berufsbildung, Arbeit und Innovation

In der Dissertation von Lena Sachse werden berufliche Übergänge und Unterqualifikation aus einer habitus- und milieutheoretischen Perspektive untersucht. Im theoriebasierten Teil wird der Forschungskontex…

sofort lieferbar

Buch

Edward Brooks
Mental Science and Methods of Mental Culture, Designed for the Use of Normal Schools, Academies, and Private Students Preparing to be Teachers

Reprint of the original, first published in 1883. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen

Buch

Edward Brooks
Mental Science and Methods of Mental Culture, Designed for the Use of Normal Schools, Academies, and Private Students Preparing to be Teachers

Reprint of the original, first published in 1883. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen

Buch

Warmduscher

Too Cold To Hold (Translucent Red Vinyl)

Warmduscher kehren im Herbst 2024 mit ihrem neuen Album »Too Cold To Hold« zurück, auf dem Irvine Welsh, Lianne La Havas, Janet Planet, Jeshi und CouCou Chloe als Gäste zu hören sind. Das Album ist zw…

Artikel am Lager

LP

The Meteors

Hymns For The Hellbound (Transparent Red Vinyl) (Secret Bonus Track)

Die Meteors, die ursprünglichen Schöpfer der Psychobilly-Musik, begannen als Reaktion auf die sanfte Neo-Rockabilly-Musik der Rock-Revival-Ära der späten 70er Jahre. Die Band wurde 1979 zuerst unter d…

Artikel am Lager

LP

The Meteors

Hymns For The Hellbound (+ Secret Bonus Track)

Die Meteors, die ursprünglichen Schöpfer der Psychobilly-Musik, begannen als Reaktion auf die sanfte Neo-Rockabilly-Musik der Rock-Revival-Ära der späten 70er Jahre. Die Band wurde 1979 zuerst unter d…

lieferbar innerhalb 1-2 Wochen

LP

The Meteors

These Evil Things (Secret Bonus Track)

Die Meteors, die ursprünglichen Schöpfer der Psychobilly-Musik, begannen als Reaktion auf die sanfte Neo-Rockabilly-Musik der Rock-Revival-Ära der späten 70er Jahre. Die Band wurde 1979 zuerst unter d…

lieferbar innerhalb 2-3 Wochen

LP

Warmduscher

Too Cold To Hold

Warmduscher kehren im Herbst 2024 mit ihrem neuen Album »Too Cold To Hold« zurück, auf dem Irvine Welsh, Lianne La Havas, Janet Planet, Jeshi und CouCou Chloe als Gäste zu hören sind. Das Album ist zw…

lieferbar innerhalb von 3 Tagen

CD

The Meteors

These Evil Things (Curcao Blue Vinyl) (Secret Bonus Track)

Die Meteors, die ursprünglichen Schöpfer der Psychobilly-Musik, begannen als Reaktion auf die sanfte Neo-Rockabilly-Musik der Rock-Revival-Ära der späten 70er Jahre. Die Band wurde 1979 zuerst unter d…

lieferbar innerhalb 1-2 Wochen

LP